Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства
1
Logic and Automata: History and Perspectives

Logic and Automata: History and Perspectives

Jorg Flum, Erich Gradel, Thomas Wilke
Година:
2008
Език:
english
Файл:
PDF, 4.27 MB
0 / 0
english, 2008
2
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Година:
2011
Език:
english
Файл:
PDF, 1.72 MB
0 / 0
english, 2011
3
Logic and automata: History and perspectives

Logic and automata: History and perspectives

Flum, Jörg, Grädel, Erich, Wilke, Thomas (eds.)
Година:
2008
Език:
english
Файл:
PDF, 3.86 MB
0 / 0
english, 2008
4
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Година:
2011
Език:
english
Файл:
PDF, 1.72 MB
0 / 0
english, 2011
6
Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Година:
2007
Език:
english
Файл:
PDF, 4.01 MB
0 / 0
english, 2007
7
Automata Logics, and Infinite Games: A Guide to Current Research

Automata Logics, and Infinite Games: A Guide to Current Research

Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Година:
2002
Език:
english
Файл:
PDF, 2.32 MB
0 / 0
english, 2002
8
The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich
Година:
1997
Език:
english
Файл:
DJVU, 5.98 MB
0 / 0
english, 1997
9
Automata Logics, and Infinite Games: A Guide to Current Research

Automata Logics, and Infinite Games: A Guide to Current Research

Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Година:
2002
Език:
english
Файл:
PDF, 6.77 MB
0 / 0
english, 2002
10
The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon
Година:
1997
Език:
english
Файл:
DJVU, 4.69 MB
0 / 0
english, 1997